Adjust efi_distributor for some distributions
authorColin Watson <cjwatson@ubuntu.com>
Mon, 13 Jan 2014 12:13:27 +0000 (12:13 +0000)
committerMiao Wang <shankerwangmiao@gmail.com>
Sun, 15 Feb 2026 13:50:20 +0000 (13:50 +0000)
commit40fab264fefb485e1743c934513fc37319549453
tree44223170363d2521e2dab7ad5d313d60c40e6847
parentc304f4842fb7498f79d4b7d01f70643604786222
Adjust efi_distributor for some distributions

This is not a very good approach, and certainly not sanely upstreamable;
we probably need to split GRUB_DISTRIBUTOR into a couple of different
variables.

Bug-Ubuntu: https://bugs.launchpad.net/bugs/1242417
Bug-Debian: https://bugs.debian.org/932966
Forwarded: not-needed
Last-Update: 2019-08-06

Patch-Name: install-efi-adjust-distributor.patch

Gbp-Pq: Name install-efi-adjust-distributor.patch
util/grub-install.c